//
// Created by root on 2/23/18.
//

#ifndef FUNNY_TRANSLATOR_LOGICENGINE_H
#define FUNNY_TRANSLATOR_LOGICENGINE_H

#include "../fa/automata.h"

String deffact(Statement *s1, Statement *s2);
String defrule(Statement *s1, Statement *s2);
String answer(Statement *s1, Statement *s2);

#endif //FUNNY_TRANSLATOR_LOGICENGINE_H
